The Stochastic Quality Calculus

نویسندگان

  • Kebin Zeng
  • Flemming Nielson
  • Hanne Riis Nielson
چکیده

We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data. The communication delays are expressed by general distributions and the resulting semantics is given in terms of Generalised Semi-Markov Decision Processes. By restricting the distributions to be continuous and by allowing truly concurrent communication we eliminate the nondeterminism and arrive at Generalised Semi-Markov Processes (GSMPs); further restriction to exponential distributions gives rise to numerically analysable GSMPs, in particular using techniques from stochastic model checking.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems

Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...

متن کامل

Computational Method for Fractional-Order Stochastic Delay Differential Equations

Dynamic systems in many branches of science and industry are often perturbed by various types of environmental noise. Analysis of this class of models are very popular among researchers. In this paper, we present a method for approximating solution of fractional-order stochastic delay differential equations driven by Brownian motion. The fractional derivatives are considered in the Caputo sense...

متن کامل

Application of DJ method to Ito stochastic differential equations

‎This paper develops iterative method described by [V‎. ‎Daftardar-Gejji‎, ‎H‎. ‎Jafari‎, ‎An iterative method for solving nonlinear functional equations‎, ‎J‎. ‎Math‎. ‎Anal‎. ‎Appl‎. ‎316 (2006) 753-763] to solve Ito stochastic differential equations‎. ‎The convergence of the method for Ito stochastic differential equations is assessed‎. ‎To verify efficiency of method‎, ‎some examples are ex...

متن کامل

A Stochastic Network Calculus

The issue of Quality of Service (QoS) performance analysis in packet switched networks has drawn a lot of attention in the networking community in recent years. There is a lot of work including an elegant theory under the name of network calculus focusing on analysis of deterministic worst case QoS performance bounds. In the meantime, other researchers have studied the stochastic QoS performanc...

متن کامل

Extending Stochastic Network Calculus to Loss Analysis

Loss is an important parameter of Quality of Service (QoS). Though stochastic network calculus is a very useful tool for performance evaluation of computer networks, existing studies on stochastic service guarantees mainly focused on the delay and backlog. Some efforts have been made to analyse loss by deterministic network calculus, but there are few results to extend stochastic network calcul...

متن کامل

Implementing Stochastically-Timed COWS for the Prism Probabilistic Model Checker

This thesispresents the implementationof theCOWS2Prism system, a compiler for stochastic COWS (Calculus for Orchestration of Web Services) into Prism. The process calculus COWS is intended to aid in the precise description of Web Services compositions. This places the present informal development approach associated with Web Services into a formal reasoning framework. The COWS calculus concerns...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014